\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Example}{1}}
